Prof. Dr. Thomas William Reps

Aktuelle Kontaktadresse

Land	USA
Ort	Madison
Universität/Institution	University of Wisconsin-Madison
Institut/Abteilung	Computer Science Department

Fachgebiet	Rechnerarchitektur, eingebettete und massiv parallele Systeme
Keywords	static program analysis, abstract interpretation, model checking, computer security, decision procedures